Optimal. Leaf size=750 \[ -\frac {a b d}{\left (f^2-(d e-c f)^2\right ) (e+f x)}+\frac {b^2 d \tanh ^{-1}(c+d x)}{(d e+f-c f) (d e-(1+c) f) (e+f x)}-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^2}{2 f (e+f x)^2}+\frac {b^2 d^2 \tanh ^{-1}(c+d x) \log \left (\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)^2}-\frac {a b d^2 \log (1-c-d x)}{2 f (d e+f-c f)^2}+\frac {b^2 d^2 \log (1-c-d x)}{2 (d e+f-c f)^2 (d e-(1+c) f)}-\frac {b^2 d^2 \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)^2}+\frac {2 b^2 d^2 (d e-c f) \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {a b d^2 \log (1+c+d x)}{2 f (d e-f-c f)^2}-\frac {b^2 d^2 \log (1+c+d x)}{2 (d e+f-c f) (d e-(1+c) f)^2}+\frac {b^2 d^2 f \log (e+f x)}{(d e+f-c f)^2 (d e-(1+c) f)^2}-\frac {2 a b d^2 (d e-c f) \log (e+f x)}{(d e+f-c f)^2 (d e-(1+c) f)^2}-\frac {2 b^2 d^2 (d e-c f) \tanh ^{-1}(c+d x) \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {b^2 d^2 \text {PolyLog}\left (2,-\frac {1+c+d x}{1-c-d x}\right )}{4 f (d e+f-c f)^2}+\frac {b^2 d^2 \text {PolyLog}\left (2,1-\frac {2}{1+c+d x}\right )}{4 f (d e-f-c f)^2}-\frac {b^2 d^2 (d e-c f) \text {PolyLog}\left (2,1-\frac {2}{1+c+d x}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {b^2 d^2 (d e-c f) \text {PolyLog}\left (2,1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 1.56, antiderivative size = 750, normalized size of antiderivative = 1.00, number of steps
used = 26, number of rules used = 18, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.900, Rules used = {6244, 2007,
723, 814, 6873, 6256, 724, 815, 6857, 6055, 2449, 2352, 6063, 720, 31, 647, 6057, 2497}
\begin {gather*} -\frac {a b d^2 \log (-c-d x+1)}{2 f (-c f+d e+f)^2}+\frac {a b d^2 \log (c+d x+1)}{2 f (-c f+d e-f)^2}-\frac {2 a b d^2 (d e-c f) \log (e+f x)}{(-c f+d e+f)^2 (d e-(c+1) f)^2}-\frac {a b d}{(e+f x) \left (f^2-(d e-c f)^2\right )}-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^2}{2 f (e+f x)^2}+\frac {b^2 d^2 \text {Li}_2\left (-\frac {c+d x+1}{-c-d x+1}\right )}{4 f (-c f+d e+f)^2}+\frac {b^2 d^2 \text {Li}_2\left (1-\frac {2}{c+d x+1}\right )}{4 f (-c f+d e-f)^2}-\frac {b^2 d^2 (d e-c f) \text {Li}_2\left (1-\frac {2}{c+d x+1}\right )}{(-c f+d e+f)^2 (d e-(c+1) f)^2}+\frac {b^2 d^2 (d e-c f) \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e-c f+f) (c+d x+1)}\right )}{(-c f+d e+f)^2 (d e-(c+1) f)^2}+\frac {b^2 d^2 \log (-c-d x+1)}{2 (-c f+d e+f)^2 (d e-(c+1) f)}-\frac {b^2 d^2 \log (c+d x+1)}{2 (-c f+d e+f) (d e-(c+1) f)^2}+\frac {b^2 d^2 f \log (e+f x)}{(-c f+d e+f)^2 (d e-(c+1) f)^2}+\frac {b^2 d^2 \log \left (\frac {2}{-c-d x+1}\right ) \tanh ^{-1}(c+d x)}{2 f (-c f+d e+f)^2}-\frac {b^2 d^2 \log \left (\frac {2}{c+d x+1}\right ) \tanh ^{-1}(c+d x)}{2 f (-c f+d e-f)^2}+\frac {2 b^2 d^2 (d e-c f) \log \left (\frac {2}{c+d x+1}\right ) \tanh ^{-1}(c+d x)}{(-c f+d e+f)^2 (d e-(c+1) f)^2}-\frac {2 b^2 d^2 (d e-c f) \tanh ^{-1}(c+d x) \log \left (\frac {2 d (e+f x)}{(c+d x+1) (-c f+d e+f)}\right )}{(-c f+d e+f)^2 (d e-(c+1) f)^2}+\frac {b^2 d \tanh ^{-1}(c+d x)}{(e+f x) (-c f+d e+f) (d e-(c+1) f)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 647
Rule 720
Rule 723
Rule 724
Rule 814
Rule 815
Rule 2007
Rule 2352
Rule 2449
Rule 2497
Rule 6055
Rule 6057
Rule 6063
Rule 6244
Rule 6256
Rule 6857
Rule 6873
Rubi steps
\begin {align*} \int \frac {\left (a+b \tanh ^{-1}(c+d x)\right )^2}{(e+f x)^3} \, dx &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^2}{2 f (e+f x)^2}+\frac {(b d) \int \frac {a+b \tanh ^{-1}(c+d x)}{(e+f x)^2 \left (1-(c+d x)^2\right )} \, dx}{f}\\ &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^2}{2 f (e+f x)^2}+\frac {(b d) \int \frac {a+b \tanh ^{-1}(c+d x)}{(e+f x)^2 \left (1-c^2-2 c d x-d^2 x^2\right )} \, dx}{f}\\ &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^2}{2 f (e+f x)^2}+\frac {b \text {Subst}\left (\int \frac {a+b \tanh ^{-1}(x)}{\left (\frac {d e-c f}{d}+\frac {f x}{d}\right )^2 \left (1-x^2\right )} \, dx,x,c+d x\right )}{f}\\ &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^2}{2 f (e+f x)^2}+\frac {b \text {Subst}\left (\int \left (-\frac {a d^2}{(d e-c f+f x)^2 \left (-1+x^2\right )}-\frac {b d^2 \tanh ^{-1}(x)}{(d e-c f+f x)^2 \left (-1+x^2\right )}\right ) \, dx,x,c+d x\right )}{f}\\ &=-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^2}{2 f (e+f x)^2}-\frac {\left (a b d^2\right ) \text {Subst}\left (\int \frac {1}{(d e-c f+f x)^2 \left (-1+x^2\right )} \, dx,x,c+d x\right )}{f}-\frac {\left (b^2 d^2\right ) \text {Subst}\left (\int \frac {\tanh ^{-1}(x)}{(d e-c f+f x)^2 \left (-1+x^2\right )} \, dx,x,c+d x\right )}{f}\\ &=-\frac {a b d}{\left (f^2-(d e-c f)^2\right ) (e+f x)}-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^2}{2 f (e+f x)^2}-\frac {\left (b^2 d^2\right ) \text {Subst}\left (\int \left (\frac {\tanh ^{-1}(x)}{2 (d e-(1+c) f)^2 (-1-x)}+\frac {\tanh ^{-1}(x)}{2 (d e+f-c f)^2 (-1+x)}+\frac {f^2 \tanh ^{-1}(x)}{(d e+(1-c) f) (d e-f-c f) (d e-c f+f x)^2}+\frac {2 f^2 (d e-c f) \tanh ^{-1}(x)}{(d e+(1-c) f)^2 (d e-f-c f)^2 (d e-c f+f x)}\right ) \, dx,x,c+d x\right )}{f}+\frac {\left (a b d^2\right ) \text {Subst}\left (\int \frac {d e-c f-f x}{(d e-c f+f x) \left (-1+x^2\right )} \, dx,x,c+d x\right )}{f \left (f^2-(d e-c f)^2\right )}\\ &=-\frac {a b d}{\left (f^2-(d e-c f)^2\right ) (e+f x)}-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^2}{2 f (e+f x)^2}-\frac {\left (b^2 d^2\right ) \text {Subst}\left (\int \frac {\tanh ^{-1}(x)}{-1-x} \, dx,x,c+d x\right )}{2 f (d e-f-c f)^2}-\frac {\left (b^2 d^2\right ) \text {Subst}\left (\int \frac {\tanh ^{-1}(x)}{-1+x} \, dx,x,c+d x\right )}{2 f (d e+f-c f)^2}-\frac {\left (2 b^2 d^2 f (d e-c f)\right ) \text {Subst}\left (\int \frac {\tanh ^{-1}(x)}{d e-c f+f x} \, dx,x,c+d x\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}-\frac {\left (b^2 d^2 f\right ) \text {Subst}\left (\int \frac {\tanh ^{-1}(x)}{(d e-c f+f x)^2} \, dx,x,c+d x\right )}{(d e+f-c f) (d e-(1+c) f)}+\frac {\left (a b d^2\right ) \text {Subst}\left (\int \left (\frac {-d e+(1+c) f}{2 (d e+f-c f) (1-x)}+\frac {-d e-(1-c) f}{2 (d e-(1+c) f) (1+x)}+\frac {2 f^2 (d e-c f)}{(d e+(1-c) f) (d e-f-c f) (d e-c f+f x)}\right ) \, dx,x,c+d x\right )}{f \left (f^2-(d e-c f)^2\right )}\\ &=-\frac {a b d}{\left (f^2-(d e-c f)^2\right ) (e+f x)}+\frac {b^2 d \tanh ^{-1}(c+d x)}{(d e+f-c f) (d e-(1+c) f) (e+f x)}-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^2}{2 f (e+f x)^2}+\frac {b^2 d^2 \tanh ^{-1}(c+d x) \log \left (\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)^2}-\frac {a b d^2 \log (1-c-d x)}{2 f (d e+f-c f)^2}-\frac {b^2 d^2 \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)^2}+\frac {2 b^2 d^2 (d e-c f) \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {a b d^2 \log (1+c+d x)}{2 f (d e-f-c f)^2}-\frac {2 a b d^2 (d e-c f) \log (e+f x)}{(d e+f-c f)^2 (d e-(1+c) f)^2}-\frac {2 b^2 d^2 (d e-c f) \tanh ^{-1}(c+d x) \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {\left (b^2 d^2\right ) \text {Subst}\left (\int \frac {\log \left (\frac {2}{1+x}\right )}{1-x^2} \, dx,x,c+d x\right )}{2 f (d e-f-c f)^2}-\frac {\left (b^2 d^2\right ) \text {Subst}\left (\int \frac {\log \left (\frac {2}{1-x}\right )}{1-x^2} \, dx,x,c+d x\right )}{2 f (d e+f-c f)^2}-\frac {\left (2 b^2 d^2 (d e-c f)\right ) \text {Subst}\left (\int \frac {\log \left (\frac {2}{1+x}\right )}{1-x^2} \, dx,x,c+d x\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {\left (2 b^2 d^2 (d e-c f)\right ) \text {Subst}\left (\int \frac {\log \left (\frac {2 (d e-c f+f x)}{(d e+f-c f) (1+x)}\right )}{1-x^2} \, dx,x,c+d x\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}-\frac {\left (b^2 d^2\right ) \text {Subst}\left (\int \frac {1}{(d e-c f+f x) \left (1-x^2\right )} \, dx,x,c+d x\right )}{(d e+f-c f) (d e-(1+c) f)}\\ &=-\frac {a b d}{\left (f^2-(d e-c f)^2\right ) (e+f x)}+\frac {b^2 d \tanh ^{-1}(c+d x)}{(d e+f-c f) (d e-(1+c) f) (e+f x)}-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^2}{2 f (e+f x)^2}+\frac {b^2 d^2 \tanh ^{-1}(c+d x) \log \left (\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)^2}-\frac {a b d^2 \log (1-c-d x)}{2 f (d e+f-c f)^2}-\frac {b^2 d^2 \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)^2}+\frac {2 b^2 d^2 (d e-c f) \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {a b d^2 \log (1+c+d x)}{2 f (d e-f-c f)^2}-\frac {2 a b d^2 (d e-c f) \log (e+f x)}{(d e+f-c f)^2 (d e-(1+c) f)^2}-\frac {2 b^2 d^2 (d e-c f) \tanh ^{-1}(c+d x) \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {b^2 d^2 (d e-c f) \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {\left (b^2 d^2\right ) \text {Subst}\left (\int \frac {\log (2 x)}{1-2 x} \, dx,x,\frac {1}{1+c+d x}\right )}{2 f (d e-f-c f)^2}+\frac {\left (b^2 d^2\right ) \text {Subst}\left (\int \frac {\log (2 x)}{1-2 x} \, dx,x,\frac {1}{1-c-d x}\right )}{2 f (d e+f-c f)^2}+\frac {\left (b^2 d^2\right ) \text {Subst}\left (\int \frac {-d e+c f+f x}{1-x^2} \, dx,x,c+d x\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {\left (b^2 d^2 f^2\right ) \text {Subst}\left (\int \frac {1}{d e-c f+f x} \, dx,x,c+d x\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}-\frac {\left (2 b^2 d^2 (d e-c f)\right ) \text {Subst}\left (\int \frac {\log (2 x)}{1-2 x} \, dx,x,\frac {1}{1+c+d x}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}\\ &=-\frac {a b d}{\left (f^2-(d e-c f)^2\right ) (e+f x)}+\frac {b^2 d \tanh ^{-1}(c+d x)}{(d e+f-c f) (d e-(1+c) f) (e+f x)}-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^2}{2 f (e+f x)^2}+\frac {b^2 d^2 \tanh ^{-1}(c+d x) \log \left (\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)^2}-\frac {a b d^2 \log (1-c-d x)}{2 f (d e+f-c f)^2}-\frac {b^2 d^2 \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)^2}+\frac {2 b^2 d^2 (d e-c f) \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {a b d^2 \log (1+c+d x)}{2 f (d e-f-c f)^2}+\frac {b^2 d^2 f \log (e+f x)}{(d e+f-c f)^2 (d e-(1+c) f)^2}-\frac {2 a b d^2 (d e-c f) \log (e+f x)}{(d e+f-c f)^2 (d e-(1+c) f)^2}-\frac {2 b^2 d^2 (d e-c f) \tanh ^{-1}(c+d x) \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {b^2 d^2 \text {Li}_2\left (1-\frac {2}{1-c-d x}\right )}{4 f (d e+f-c f)^2}+\frac {b^2 d^2 \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{4 f (d e-f-c f)^2}-\frac {b^2 d^2 (d e-c f) \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {b^2 d^2 (d e-c f) \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {\left (b^2 d^2\right ) \text {Subst}\left (\int \frac {1}{-1-x} \, dx,x,c+d x\right )}{2 (d e+f-c f) (d e-(1+c) f)^2}-\frac {\left (b^2 d^2\right ) \text {Subst}\left (\int \frac {1}{1-x} \, dx,x,c+d x\right )}{2 (d e+f-c f)^2 (d e-(1+c) f)}\\ &=-\frac {a b d}{\left (f^2-(d e-c f)^2\right ) (e+f x)}+\frac {b^2 d \tanh ^{-1}(c+d x)}{(d e+f-c f) (d e-(1+c) f) (e+f x)}-\frac {\left (a+b \tanh ^{-1}(c+d x)\right )^2}{2 f (e+f x)^2}+\frac {b^2 d^2 \tanh ^{-1}(c+d x) \log \left (\frac {2}{1-c-d x}\right )}{2 f (d e+f-c f)^2}-\frac {a b d^2 \log (1-c-d x)}{2 f (d e+f-c f)^2}+\frac {b^2 d^2 \log (1-c-d x)}{2 (d e+f-c f)^2 (d e-(1+c) f)}-\frac {b^2 d^2 \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{2 f (d e-f-c f)^2}+\frac {2 b^2 d^2 (d e-c f) \tanh ^{-1}(c+d x) \log \left (\frac {2}{1+c+d x}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {a b d^2 \log (1+c+d x)}{2 f (d e-f-c f)^2}-\frac {b^2 d^2 \log (1+c+d x)}{2 (d e+f-c f) (d e-(1+c) f)^2}+\frac {b^2 d^2 f \log (e+f x)}{(d e+f-c f)^2 (d e-(1+c) f)^2}-\frac {2 a b d^2 (d e-c f) \log (e+f x)}{(d e+f-c f)^2 (d e-(1+c) f)^2}-\frac {2 b^2 d^2 (d e-c f) \tanh ^{-1}(c+d x) \log \left (\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {b^2 d^2 \text {Li}_2\left (1-\frac {2}{1-c-d x}\right )}{4 f (d e+f-c f)^2}+\frac {b^2 d^2 \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{4 f (d e-f-c f)^2}-\frac {b^2 d^2 (d e-c f) \text {Li}_2\left (1-\frac {2}{1+c+d x}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}+\frac {b^2 d^2 (d e-c f) \text {Li}_2\left (1-\frac {2 d (e+f x)}{(d e+f-c f) (1+c+d x)}\right )}{(d e+f-c f)^2 (d e-(1+c) f)^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 14.70, size = 1968, normalized size = 2.62 \begin {gather*} -\frac {a^2}{2 f (e+f x)^2}+\frac {a b (d e-c f+f (c+d x))^3 \left (\frac {f \left (2+\frac {(d e+f-c f) (d e-(1+c) f)}{\left (\frac {d e-c f}{\sqrt {1-(c+d x)^2}}+\frac {f (c+d x)}{\sqrt {1-(c+d x)^2}}\right )^2}\right ) \tanh ^{-1}(c+d x)}{(d e+f-c f)^2 (-d e+f+c f)^2}-\frac {(c+d x) \left (f-2 d e \tanh ^{-1}(c+d x)+2 c f \tanh ^{-1}(c+d x)\right )}{(d e-c f) (d e+f-c f) (d e-(1+c) f) \sqrt {1-(c+d x)^2} \left (\frac {d e-c f}{\sqrt {1-(c+d x)^2}}+\frac {f (c+d x)}{\sqrt {1-(c+d x)^2}}\right )}-\frac {2 (d e-c f) \log \left (\frac {d e}{\sqrt {1-(c+d x)^2}}-\frac {c f}{\sqrt {1-(c+d x)^2}}+\frac {f (c+d x)}{\sqrt {1-(c+d x)^2}}\right )}{\left (d^2 e^2-2 c d e f+\left (-1+c^2\right ) f^2\right )^2}\right )}{d (e+f x)^3}+\frac {b^2 (d e-c f+f (c+d x))^3 \left (\frac {f \left (1-(c+d x)^2\right )^{3/2} \left (\frac {d e}{\sqrt {1-(c+d x)^2}}-\frac {c f}{\sqrt {1-(c+d x)^2}}+\frac {f (c+d x)}{\sqrt {1-(c+d x)^2}}\right )^3 \tanh ^{-1}(c+d x)^2}{2 (d e-f-c f) (d e+f-c f) (d e-c f+f (c+d x))^3 \left (-\frac {d e}{\sqrt {1-(c+d x)^2}}+\frac {c f}{\sqrt {1-(c+d x)^2}}-\frac {f (c+d x)}{\sqrt {1-(c+d x)^2}}\right )^2}+\frac {\left (1-(c+d x)^2\right )^{3/2} \left (\frac {d e}{\sqrt {1-(c+d x)^2}}-\frac {c f}{\sqrt {1-(c+d x)^2}}+\frac {f (c+d x)}{\sqrt {1-(c+d x)^2}}\right )^3 \left (\frac {f (c+d x) \tanh ^{-1}(c+d x)}{\sqrt {1-(c+d x)^2}}-\frac {d e (c+d x) \tanh ^{-1}(c+d x)^2}{\sqrt {1-(c+d x)^2}}+\frac {c f (c+d x) \tanh ^{-1}(c+d x)^2}{\sqrt {1-(c+d x)^2}}\right )}{(d e-c f) (d e-f-c f) (d e+f-c f) (d e-c f+f (c+d x))^3 \left (-\frac {d e}{\sqrt {1-(c+d x)^2}}+\frac {c f}{\sqrt {1-(c+d x)^2}}-\frac {f (c+d x)}{\sqrt {1-(c+d x)^2}}\right )}+\frac {f \left (1-(c+d x)^2\right )^{3/2} \left (\frac {d e}{\sqrt {1-(c+d x)^2}}-\frac {c f}{\sqrt {1-(c+d x)^2}}+\frac {f (c+d x)}{\sqrt {1-(c+d x)^2}}\right )^3 \left (-f \tanh ^{-1}(c+d x)+(d e-c f) \log \left (\frac {d e-c f}{\sqrt {1-(c+d x)^2}}+\frac {f (c+d x)}{\sqrt {1-(c+d x)^2}}\right )\right )}{(d e-c f) (d e-f-c f) (d e+f-c f) \left (-f^2+(d e-c f)^2\right ) (d e-c f+f (c+d x))^3}+\frac {c \left (1-(c+d x)^2\right )^{3/2} \left (\frac {d e}{\sqrt {1-(c+d x)^2}}-\frac {c f}{\sqrt {1-(c+d x)^2}}+\frac {f (c+d x)}{\sqrt {1-(c+d x)^2}}\right )^3 \left (e^{-\tanh ^{-1}\left (\frac {d e-c f}{f}\right )} \tanh ^{-1}(c+d x)^2-\frac {i (d e-c f) \left (-\left (\left (-\pi +2 i \tanh ^{-1}\left (\frac {d e-c f}{f}\right )\right ) \tanh ^{-1}(c+d x)\right )-2 \left (i \tanh ^{-1}\left (\frac {d e-c f}{f}\right )+i \tanh ^{-1}(c+d x)\right ) \log \left (1-e^{2 i \left (i \tanh ^{-1}\left (\frac {d e-c f}{f}\right )+i \tanh ^{-1}(c+d x)\right )}\right )-\pi \log \left (1+e^{2 \tanh ^{-1}(c+d x)}\right )+\pi \log \left (\frac {1}{\sqrt {1-(c+d x)^2}}\right )+2 i \tanh ^{-1}\left (\frac {d e-c f}{f}\right ) \log \left (i \sinh \left (\tanh ^{-1}\left (\frac {d e-c f}{f}\right )+\tanh ^{-1}(c+d x)\right )\right )+i \text {PolyLog}\left (2,e^{2 i \left (i \tanh ^{-1}\left (\frac {d e-c f}{f}\right )+i \tanh ^{-1}(c+d x)\right )}\right )\right )}{f \sqrt {1-\frac {(d e-c f)^2}{f^2}}}\right )}{(d e-c f) (d e-f-c f) (d e+f-c f) \sqrt {\frac {f^2-(d e-c f)^2}{f^2}} (d e-c f+f (c+d x))^3}-\frac {d e \left (1-(c+d x)^2\right )^{3/2} \left (\frac {d e}{\sqrt {1-(c+d x)^2}}-\frac {c f}{\sqrt {1-(c+d x)^2}}+\frac {f (c+d x)}{\sqrt {1-(c+d x)^2}}\right )^3 \left (e^{-\tanh ^{-1}\left (\frac {d e-c f}{f}\right )} \tanh ^{-1}(c+d x)^2-\frac {i (d e-c f) \left (-\left (\left (-\pi +2 i \tanh ^{-1}\left (\frac {d e-c f}{f}\right )\right ) \tanh ^{-1}(c+d x)\right )-2 \left (i \tanh ^{-1}\left (\frac {d e-c f}{f}\right )+i \tanh ^{-1}(c+d x)\right ) \log \left (1-e^{2 i \left (i \tanh ^{-1}\left (\frac {d e-c f}{f}\right )+i \tanh ^{-1}(c+d x)\right )}\right )-\pi \log \left (1+e^{2 \tanh ^{-1}(c+d x)}\right )+\pi \log \left (\frac {1}{\sqrt {1-(c+d x)^2}}\right )+2 i \tanh ^{-1}\left (\frac {d e-c f}{f}\right ) \log \left (i \sinh \left (\tanh ^{-1}\left (\frac {d e-c f}{f}\right )+\tanh ^{-1}(c+d x)\right )\right )+i \text {PolyLog}\left (2,e^{2 i \left (i \tanh ^{-1}\left (\frac {d e-c f}{f}\right )+i \tanh ^{-1}(c+d x)\right )}\right )\right )}{f \sqrt {1-\frac {(d e-c f)^2}{f^2}}}\right )}{f (d e-c f) (d e-f-c f) (d e+f-c f) \sqrt {\frac {f^2-(d e-c f)^2}{f^2}} (d e-c f+f (c+d x))^3}\right )}{d (e+f x)^3} \end {gather*}
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(1490\) vs.
\(2(735)=1470\).
time = 2.16, size = 1491, normalized size = 1.99
method | result | size |
derivativedivides | \(\text {Expression too large to display}\) | \(1491\) |
default | \(\text {Expression too large to display}\) | \(1491\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (a + b \operatorname {atanh}{\left (c + d x \right )}\right )^{2}}{\left (e + f x\right )^{3}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (a+b\,\mathrm {atanh}\left (c+d\,x\right )\right )}^2}{{\left (e+f\,x\right )}^3} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________